Published in: Halstead, R., Ito T. (editors), ``Parallel Symbolic Computing: Languages, Systems, and Applications'', Springer-Verlag Lecture Notes in Computer Science 748, November, 1993, ppA Message Passing Im

Source URL: www.iro.umontreal.ca

• Computing
• Parallel computing
• Subroutines
• Software engineering
• Computer programming
• Cache coherency
• Continuation
• Control flow
• Stack
• Task
• Interrupt handler
• Cache coherence

A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu

Source URL: homes.cs.washington.edu

Derivatives and Partial Derivatives for Regular Shuffle Expressions Martin Sulzmanna , Peter Thiemannb a Faculty of Computer Science and Business Information Systems, Karlsruhe University of

Source URL: www.home.hs-karlsruhe.de

Trace-Based Run-Time Analysis of Message-Passing Go Programs Martin Sulzmann and Kai Stadtm¨ uller Faculty of Computer Science and Business Information Systems Karlsruhe University of Applied Sciences

Source URL: www.home.hs-karlsruhe.de

Chapter 1 RULE-BASED POLICY SPECIFICATION Grigoris Antoniou Information Systems Laboratory, Institute of Computer Science, FORTH, Greece

Source URL: www.l3s.de

Reduced dependency spaces for existential parameterised Boolean equation systems∗ (Extended Abstract)† Yutaro Nagae Graduate School of Information Science Nagoya University nagae

Source URL: www.cs.ox.ac.uk

A Write-friendly Hashing Scheme for Non-volatile Memory Systems Pengfei Zuo and Yu Hua Wuhan National Laboratory for Optoelectronics School of Computer, Huazhong University of Science and Technology, Wuhan, China Corresp

Source URL: csyhua.github.io

From Events to Futures and Promises and back Martin Sulzmann Faculty of Computer Science and Business Information Systems Karlsruhe University of Applied Sciences Moltkestrasse 30, 76133 Karlsruhe, Germany martin.sulzman

Source URL: www.home.hs-karlsruhe.de

A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu

Source URL: www.ericbutler.net

Dynamic Graph Transformation Systems? Roberto Bruni1 and Hern´an Melgratti2 1 Computer Science Department, University of Pisa, Italy. 2 IMT Lucca Institute for Advanced Studies, Italia.

Source URL: www.di.unipi.it